Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·19h
🎙️Whisper
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·8h·
Discuss: Hacker News
⚡Proof Automation
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
📋Document Grammar
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·12h
🤝Paxos Consensus
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·1d
⚡Proof Automation
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·6h
⚡Proof Automation
AI-First Platform Engineering: 3 Signals From PlatformCon
thenewstack.io·5h
🏠Homelab Orchestration
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·9h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·13h·
Discuss: DEV
🔗Constraint Handling
Claude Code's 19 cent Parser
blogger.com·10h
🔧Binary Parsers
Sets & Heaps in Haskell and Rust
mmhaskell.com·14h
🔒Type Safety
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Notes on Autograd
aschrein.github.io·4h·
Discuss: Hacker News
⚡Incremental Computation
Sound and Solution-Complete CCBS
arxiv.org·19h
🛡️Archive Verification
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·4h·
Discuss: Hacker News
🤖AI Curation
Show HN: Prompttest – Pytest for LLMs
github.com·6h·
Discuss: Hacker News
⚡Proof Automation